Extending Abstract Interpretation to Dependency Analysis of Database Applications
نویسندگان
چکیده
منابع مشابه
Analysis of disassembled executable codes by abstract interpretation
The aim of this paper is to dene the abstract domain, abstract operator, abstract semantic, the environments and states of disassembled executable codes as well as a way to analysis the disassembled executable codes. Nowadays, static analysis on disassembled code going to grow. Reverse engineering and malware analysis use this technique. Thus, we tried to perform pluralization the requirements ...
متن کاملAbstract interpretation of database query languages
interpretation of database query languages Raju Halder, Agostino Cortesi n Universit a Ca’ Foscari Venezia, Italy a r t i c l e i n f o Article history: Received 3 March 2011 Received in revised form 5 July 2011 Accepted 28 October 2011
متن کاملAbstract Interpretation: Principles and Applications
interpretation is a theory of abstraction and constructive approximation of the mathematical structures used in the formal description of complex or infinite systems and the inference or verification of their combinatorial or undecidable properties. Developed in the late seventies with Radhia Cousot, it has been since then applied to many aspects of computer science (such as static analysis and...
متن کاملCompile-Time Derivation of Variable Dependency Using Abstract Interpretation
Traditional schemes for abstract interpretation-based global analysis of logic programs generally focus on obtaining procedure argument mode and type information. Variable sharing information is often given only the attention needed to preserve the correctness of the analysis. However, such sharing information can be very useful. In particular, it can be used for predicting runtime goal indepen...
متن کاملRange Analysis with Abstract Interpretation
The knowledge of the precise range of variable values in a given program can be used in a variety of contexts, including compiler optimization, program checking and computing the minimum bit-width requirements. The last is gaining importance in the reconfigurable architecture community, where underlying substrates allow construction of customizable variable width data-paths. Empirical studies s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2020
ISSN: 0098-5589,1939-3520,2326-3881
DOI: 10.1109/tse.2018.2861707